Polyadic algebras over nonclassical logics
نویسندگان
چکیده
منابع مشابه
Polyadic Algebras over Nonclassical Logics
The polyadic algebras that arise from the algebraization of the first-order extensions of a SIC are characterized and a representation theorem is proved. Standard implicational calculi (SIC)’s were considered by H. Rasiowa [19] and include classical and intuitionistic logic and their various weakenings and fragments, the many-valued logics of Post and Lukasiewicz, modal logics that admit the ru...
متن کاملVariable Binding Algebras for Nonclassical Logics
The abstract variable binding calculus (VB-calculus) introduced in [2] (see also [4]) provides a formal framework encompassing such diverse variable-binding phenomena as lambda abstraction, Riemann integration, existential and universal quantification (in both classical and nonclassical logic), and various notions of generalized quantification that have been studied in abstract model theory. Al...
متن کاملRelation Algebras from Cylindric and Polyadic Algebras
This paper is a survey of recent results concerning connections between relation algebras (RA), cylindric algebras (CA) and polyadic equality algebras (PEA). We describe exactly which subsets of the standard axioms for RA are needed for axiomatizing RA over the RA-reducts of CA3’s, and we do the same for the class SA of semi-associative relation algebras. We also characterize the class of RA-re...
متن کاملClassical and Nonclassical Logics
Schechter, Eric, 1950– Classical and nonclassical logics : an introduction to the mathematics of propositions / Eric Schechter. p. cm. Includes bibliographical references and index. British Library Cataloging-in-Publication Data is available The publisher would like to acknowledge the author of this volume for providing the camera-ready copy from which this book was printed.
متن کاملAn autobiography of Polyadic Algebras
In the 1950’s I set out to revolutionize logic. I didn’t succeed (not yet!), but it wasn’t for want of trying. Logic has always fascinated me. In the common-sense sense of the word logic was easy; I had no inclination to commit the obvious errors of reasoning, and long chains of deductions were not intimidating. When I was told about syllogisms, I said “sure, obviously”, and didn’t feel that I ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Banach Center Publications
سال: 1993
ISSN: 0137-6934,1730-6299
DOI: 10.4064/-28-1-51-66